#include "printf.h"

#include <stdarg.h>
#include <stdio.h> //TODO:  

int printf(const char * format, ...){
  va_list ap;
  va_start(ap, format);
  vprintf(format, ap);
  va_end(ap);
}

void panic(const char * s) {
  printf("panic: ");
  printf("%s\n", s);
  for(;;) 
    ;
}
